#ifndef SCHEDUABLE_H
#define SCHEDUABLE_H
#include "task.h"

bool schedulable_analyse(Task tasksets[],Task *analysed_task);
int local_resource_blocking_analyse(Task tasksets[],Task *analysed_task);
int non_critical_area_delay_analyse(Task tasksets[],Task *analysed_task);
int global_resource_critical_area_delay_analyse(Task tasksets[],Task *analysed_task,uint32_t);
int table_tasks_delay_analyse(Task *analysed_task,uint32_t);
int access_control_delay_analyse(Task tasksets[],Task *analysed_task,uint32_t);
int ceiling(uint32_t a,uint32_t b);
int H_i_r(Task *analysed_task,uint32_t r,uint32_t last_Hir);
int H_i_r_output(Task *analysed_task,uint32_t r);
#endif // SCHEDUABLE_H
